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