proofs

working edits