Integrated invariant check.