To Proof or Not to Proof?