 Relevance logic has also been deployed to give theories of worldly hyperintensionality. In a series of papers, Michael Dunn developed a theory of relevant predication intended to illuminate a range of traditional metaphysical distinctions, including the differences between intrinsic and extrinsic properties, essential and accidental properties, and between essential properties and properties necessarily had when an object exists (Dunn 1987, 1990a, 1990b). And as mentioned above, Restall (1996a) employed relevant logic to offer a theory of truthmakers.