Invariants are not limited to classes
Loop invariants are the primary means to control and reason about loops