The theorem prover's proof is printed in real time. At the time it prints ``Perhaps'' it does not know the proof will succeed.
