Representation InvariantsAlways check the representation invariant after calling a method if it is inexpensive.