 Generalizations like 1–8 are interesting only against the background of a sufficiently fine-grained theory of properties. All are trivialised by intensionalism, the thesis that necessarily coextensive properties are always identical. Consider the following consequence of intensionalism: