To write is to exorcise the demons that live within us.
The aim of proof is to understand, not just to verify.