NO

peak

c(x0)
*<-
c(b(a(x0)))
->*
a(c(a(x0)))

is not joinable