 Since each identity interior property is also an \(R\) interior property, for each reflexive relation \(R\), the \(R\) interior properties also do not coincide with the local properties for each \(R\). The \(R\) interior properties also differ from the identity interior properties for at least some \(R\). For example, the metaphysical necessitation interior properties plausibly differ from the identity interior properties since, while being such that there is a number is plausibly not identity interior, it is metaphysical necessitation interior. This is because, given the assumption that numbers necessarily exist, any \(x\) is such that how it is intrinsically necessitates that \(x\) is such that there is a number.