1. The condition should hold at the end of every constructor.2. The condition should hold at the end of every mutator(non-const) operation..