Check invariant.