ProofCheck
Verification by ProofMode
Verify