This chapter discusses
nConditions and conditional statements. nPreconditions, postconditions, and class invariants.
nBoolean expressions.