proofsFinal Edits