Deliberate Proof