NO peak I(B(y0)) *<- W(B(y0)) ->* I(y0) is not joinable