NO

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

unjoinable pair
  f(g(x1)) <- -> g(f(x1))