ProofsRetakes 3-21Teresa proofs