. . "An activity invariant is a condition that is always true" . .