| (EDL) | If y figures in the essence of x, then x depends upon y.3 |
| (MX) | x dependsMX upon y iff necessarily, x exists only if y exists. |
| (EX) | x dependsEX upon y iff it is true in virtue of the identity of x that x exists only if y exists. |
| (EN1) | x dependsEN1 upon y iff y is a constituent of a proposition that is true in virtue of the identity of x. |
| (EN2) | x dependsEN2 upon y iff y is a constituent of an essential property of x. |
| (EN) | x dependsEN upon y iff y figures in the essence of x. |
| (EDL) | If y figures in the essence of x, then x depends upon y. |
| (C1) | Causal properties have causal essences. Quiddistic properties have primitive essences.22 |
| (C2) | Causal properties are properties whose essences are determined, fixed, or individuated by their causal or nomic roles. Quiddistic properties are properties whose essences are not determined, fixed, or individuated by their causal or nomic roles, but are instead primitive.23 |
| (C3) | Causal properties are not freely recombinable. Quiddistic properties are freely recombinable.24 |
| (C4) | Causal properties have extrinsic essences. Quiddistic properties have intrinsic essences.25 |
| (EDL-R) | If y figures unconditionally in the essence of x, then x depends upon y. |