NO

   1: H(H(x1)) -> K(x1)

unjoinable peak
    H(K(x1))
*<- H(H(H(x1))) ->*
    K(H(x1))