Latest C++ Aptitude Question SOLUTION: conditions that have to be met for a condition to be an invariant of the class?