Chapter 7
Programming by contract:
preconditions and
postconditions
