removed the redundant unifier