class invariants