core.unify - Issues