The stupid simple theorem prover