proofs and edits #18

Closed m4sterbunny closed 4 years ago