Full Proofs (unedited)Quick Edits