okay, implemented the root unification method