<> (eq ?x ?x) (#t) <> (eq ?x ?y) (#f) (eq foo bar) (eq foo foo)