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