adding proofs, second pass