 When we make ideas of modes, the mind is again active, but the archetype is in our mind. The question becomes whether things in the world fit our ideas, and not whether our ideas correspond to the nature of things in the world. Our ideas are adequate. Thus we define ‘bachelor’ as an unmarried, adult, male human being. If we find that someone does not fit this definition, this does not reflect badly on our definition, it simply means that that individual does not belong to the class of bachelors. Modes give us the ideas of mathematics, of morality, of religion and politics and indeed of human conventions in general. Since these modal ideas are not only made by us but serve as standards that things in the world either fit or do not fit and thus belong or do not belong to that sort, ideas of modes are clear and distinct, adequate and complete. Thus in modes, we get the real and nominal essences combined. One can give precise definitions of mathematical terms (that is, give necessary and sufficient conditions), and one can give deductive demonstrations of mathematical truths. Locke sometimes says that morality too is capable of deductive demonstration. Though pressed by his friend William Molyneux to produce such a demonstrative morality, Locke never did so. The entry  Locke’s moral philosophy  provides an excellent discussion of Locke’s views on morality and issues related to them for which there is no room in this general account. The terms of political discourse also have some of the same modal features for Locke. When Locke defines the states of nature, slavery, and war in the Second Treatise of Government, for example, we are presumably getting precise modal definitions from which one can deduce consequences. It is possible, however, that with politics we are getting a study that requires both experience as well as the deductive modal aspect.