Now, before we consider whether this is really the case, we should ask what answer Kant's account of judgement would lead us to expect to the question 'What are all the functions of unity in judgement?' The question must mean 'What are the kinds of unity produced by judgement?' To this question three alternative answers are prima facie possible. (1) There is only one kind of unity, that of a group of particulars unified through relation to the corresponding universal. The special unity produced will differ for different judgements, since it will depend upon the special universal involved. The kind or form of unity, however, will always be the same, viz. that of particulars related through the corresponding universal. For instance, 'plants' and 'trees' are unified respectively by the judgements 'This body is a plant' and 'This body is a tree'; for 'this body' is in the one case related to other 'plants' and in the other case to other 'trees'. And though the unity produced is different in each case, the kind of unity is the same; for plants and trees are, as members of a kind, unities of a special kind distinct from unities of another kind, such as the parts of a spatial or numerical whole. (2) There are as many kinds of unity as there are universals. Every group of particulars forms a unity of a special kind through relation to the corresponding universal. (3) There are as many kinds of unity as there are highest universals or _summa genera_. These _summa genera_ are the most general sources of unity through which individuals are related in groups, directly or indirectly. The kinds of unity are therefore in principle the Aristotelian categories, i. e. the highest forms of being under which all individuals fall.