The aim of proof is to understand, not just to verify.