We’ve covered
nBoolean
expressions.
nConditional
statements.
uif (condition)
statement
uif (condition)
statement1
else
statement2
nCompound statements {statement1 statement2 … statementn}.
nPreconditions,
postconditions, invariants.