NO

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

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