Chapter 5:

Programming by contract: s programming style in which the invocation of a method is viewed as a contract between client and server, with each having explicitly stated responsibilities

*When an object responds to a query, it does not change state.

*Commands result in a change of state.