The aim of proof is to understand, not just to verify.
写作是让不可见的东西变得可见。