 we may take x to depend upon y if y is a constituent of a proposition that is true in virtue of the identity of x or, alternatively, if y is a constituent of an essential property of x. (Fine 1994b: 275)