10-16 Edits10-16 Proofs