use unification instead of identity checks