I need help formally translating the following definition into FOL: "a property F is essential to an object x if and only if x could not have been the object it is without possessing the property F."
So far I have "F is an essential property of x iffdef ∃x(¬F(x) → x ≠ x)"
Would that be correct?