6-16 T&T Proofs7-16 Edits