Nothing Left to Prove