Invariant for the win.