Clarified where invariants are tested.