Does your proofs ... hopefully.