Added Invariants and Comparators