 Composite objects are existentially dependent objects in the sense of (EDG), since they require the existence of proper parts (set F as “proper part of x” in (EDG)). Using the previous formal notation, we could express (EDG) as “\(\square(Ex \rightarrow \exists Fy)\)”. Here we have added the existential quantifier “∃” as well as the general term “F” to express the thought that “x generically depends for its existence on something being an F”, or alternatively “x generically necessitates F”. The important difference between the rigid and the generic cases is that (EDR) refers to a specific object whereas (EDG) only requires that at least some Fs exist. Another example, mentioned earlier, where (EDG) would seem to capture the correct sense of dependence is  (2),  “Electricity ontologically depends on electrons”. More precisely, we could say that electricity dependsG for its existence upon electrons.