Tighten up invariants.