 Suppose, for reductio, that the notion of an intrinsic property can be analysed in terms of broadly logical notions. Then, since analyses must be necessary, there is a formula \(\varphi(p)\) such that (14) is necessarily true, where \(\varphi\) contains only broadly logical vocabulary, such as variables, brackets, ‘&amp;’, ‘\(\vee\)’, ‘\(\exists\)’, ‘is a possible world’, ‘at’ and ‘\(\in\)’.