Clarify a proof.