 Now consider a version of ethical realism that takes ethical properties to be functional properties. Such a view, like the reductionist view, appears well-placed to explain the metaphysical supervenience of the ethical. This is because functional properties necessarily covary with the class of properties that are their possible realizers. If, for example, every complex property that could realize a candy machine is a natural property, then there could be no “candy machine difference” without a naturalistic difference. Similarly, if ethical properties are functional properties that could only be realized by certain of the base properties, then the supervenience of the ethical on the base properties would be smoothly explained.