.. ((eq fox bat) (eq bat bat))
.. ((<>) (eq ?x ?x) (#t))
.. ((<>) (eq ?x ?y) (#f))
.. (>< (eq ?x ?y) (#f))