ProofsFinal Edits