Possible Answers For: Theorem prover's sign-off