 If we bring the property sets into line by restricting both the supervening and subvening sets to intrinsic properties—however exactly the notion of an intrinsic property is to be captured (see e.g. Langton and Lewis 1998)—we get even clearer results. Many varieties of supervenience turn out to be equivalent for intrinsic properties.