NO

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

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