 \(F\) is an intrinsic property iff, as a matter of necessity, for all \(x\): If \(x\) is \(F\) in virtue of \(j(y)\)—where \(j(y)\) is a fact containing \(y\) as a constituent—then \(y\) is part of \(x\); and if \(x\) is not-\(F\) in virtue of \(j(y)\), then \(y\) is part of \(x\).