Pre and Postconditions

Objective #1: Interpret preconditions and postconditions.

Objective #2: Identify class invariants.