* change unify() to static.