How not to be perverse. Prover