Once universal rules or propositions have been established by an enquirer, material is available for establishing more - syllogistically. Hobbes indicates how universal names are to be combined into truths, and how universal propositions are to be combined into syllogisms, in De Corpore (chs. 4, 5, E I 44-64). It is to the churning out of consequences from syllogisms that science is supposed to be geared. Starting from a class of aptly imposed, well-defined universal names with overlapping extents, one proceeds to make universal propositions and then to register their consequences. That is what one calls 'science' (L, ch. 5, E III 35).