. . . "C is a category, and" .