NO peak h(y0) *<- f(h(y0)) ->* h(h(f(y0))) is not joinable