Unify works (Clojure code is elsewhere)