"Wherein, C is a category," . . . .