10/03/2018 Fixed Match Proofs