Question - What are the conditions that have to be met for a condition to be an invariant of the class?
Answer -
* The condition should hold at the end of every constructor.
* The condition should hold at the end of every mutator (non-const) operation.