Simple Theorem Prover.