. . "always C, where C is a condition, says that C must be true in each" . .