In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities. To investigate the categories of being, or simply categories, is to determine the most fundamental and the broadest classes of entities. A distinction between such categories, in making the categories or applying them, is called an ontological distinction. Various systems of classification have been proposed; these often include categories for substances, properties, relations, states of affairs, or events. A representative question within the theory of categories might be, for example, that which asks: "Are universals prior to particulars?"