 It would be good if we could analyse intrinsicality using only broadly logical notions, where broadly logical notions are exhausted by the narrowly logical notions of conjunction, negation and existential quantification, the modal notion of metaphysical possibility, the mereological notion of parthood, and the basic notions associated with property theory and set theory, such as the notions expressed by ‘state of affairs’, ‘property’, ‘relation’, ‘possible world’, ‘instantiates’, ‘is a member of’ and ‘set’. (The locution ‘state of affairs’ is used differently by different philosophers. Here it is being used to refer to the zero-place analogues of one-place properties and multiple place relations. Just as a property is a way of a thing is or fails to be, a state of affairs, under our usage, is a way things are or fail to be.)