NO

peak

minus(x0,y1)
*<-
minus(p(x0),p(y1))
->*
s(minus(p(x0),y1))

is not joinable