proofs

working edits

working edits