Working on class Invariants