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 anothe