Create proof_whisperer.pl