Argela interview question

What is the class invariant?