assert in proofs