How Do you Know They are Evil When you Have not Memorized the Proofs?