To read or write a program, we must think incrementally, in small steps
Loop invariants are useful
Performance matters
