NO

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

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