Invariant: doesn't vary. Things that always are (or should be) true.