From Description to Proof