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