Removed unused invariants