adding proofs, second pass
adding proofs, second pass