Idea: a theorem verifier with the mindset of a toddler. When it starts it rejects everything, so you have to show it the two theorems it already knows like a hundred times before it'll admit that some things are, in fact, true