h ∈ H u m a n s → ∃ x : S o u l ( x ) ⟺ H a s S o u l ( h ) ∧ ( x ∈ h ) {\displaystyle h \in Humans \rightarrow \exists x : Soul(x) \iff HasSoul(h) \wedge (x \in h) }