"wherein, C is a category" . . . .