Bring me a proof