∃X: wife(X, me) ∧ loves(X, me) ∧ ∀Y: wife(Y, me) → X = Y
[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]
no subject