add comments to the  unifier