Implication and Equivalence Proofs