NO

peak

*(y0,x0)
*<-
*(y0,s(p(x0)))
->*
+(*(y0,p(x0)),y0)

is not joinable