> write little proofs in your head This should be obvious, right? This is how you are supposed to write code. You are supposed to have a simple proposition abo

> write little proofs in your head This should be obvious, right? This is how you are supposed to write code. You are supposed to have a simple proposition about what each chunk of your code does.