synthesis-unification