Proofing the proof!