To be a better programmer, write little proofs in your head