12-16 Edits12-16 Proofs