 This might seem to be a tall order when considering the controversy generated by beliefs about moral rules, yet Locke clearly believes that moral rules can, with the right mental effort, yield indisputable universal laws. Locke offers an example of how this might work, by analyzing the moral proposition Where there is no property, there is no injustice. In order to see the demonstrable certainty of this claim, we have to examine the composite ideas and how those agree or disagree with one another. The idea of property, first of all, is a right to something. The idea of injustice, considered next, is a violation of that right. Given these definitions, which Locke thinks are arrived at by careful attention to definition, it is a rational deduction that injustice cannot exist if there is no property to be violated. Injustice and property must, by definition agree. This is a clearly demonstrable rule, according to Locke, deduced from clear and adequately conceived ideas. The only other example Locke offers is the proposition No Government allows absolute Liberty. Government, according to Locke, is the establishment of society upon certain laws, requiring conformity. Absolute liberty is allowing anyone to do as they please. These are modal ideas, according to Locke, and thus known with complete adequacy. As such, it is possible for the rational individual to see clearly that the ideas of absolute liberty and government cannot agree. Of course, most people will argue that these rational deductions rely upon definitions that are debatable. This would not seem to be helped by the fact that, for Locke, modal ideas, like all complex ideas, are put together by the mind; while complex ideas of substance are constructed on the pattern of perceivable objects, modal ideas are, Locke explains, “put together at the pleasure of our Thoughts, without any real pattern they were taken from” (Essay, 4.4.12). This might seem to pose a problem for Locke’s moral theory, according to which moral laws are just as necessary as mathematical principles. However, Locke is not worried about any relativistic implications. For Locke, any disagreement about definitions of concepts like property, justice or murder, result from insufficient reasoning about the simple ideas that comprise our moral ideas, as well as bias, prejudice and other irrational influences. For Locke, it is precisely because these ideas refer to nothing outside the mind that they can be universally-conceived and adequately understood. Just as the notion of triangularity is known perfectly because it does not depend upon the existence of triangles outside the mind, so justice is understood perfectly because it is not using some extramental archetype as its inspiration. He writes,