NO

   1: f(g(f(x1))) -> g(x1)

unjoinable peak
    f(g(g(x1)))
*<- f(g(f(g(f(x1))))) ->*
    g(g(f(x1)))