Safety Through Abstraction
Safety = maintaining invariants...
Build abstraction layers that guarantee that invariants are maintained
Most code should be written on top of safe abstractions, obviously!