adding proofs, first pass