NO

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

unjoinable pair
  H(K(x1)) <- -> K(H(x1))