All invariants now indicate what is required.