 Notice that the relation thus defined is asymmetric (rather than antisymmetric): it doesn’t permit any object to be existentially dependent upon itself. Indeed, we have chosen to use the subscript “A” here because the relation in question may aptly be called asymmetrical rigid existential dependence. One might think that this is at it should be, as on the face of it the idea of something existentially depending on itself appears very strange. There is of course an obvious theological candidate that may violate this condition, namely God, so perhaps we should not rule out the possibility outright. But there may be slightly less controversial candidates as well, for it could be suggested that there are fundamental entities that existentially depend on themselves (rather than on nothing). At any rate, if anything of the sort is possible, we better not rule it out by definition, as (EDA) does.