proofs

Working edits