fixed collision and omissions
moved kernel of total order to imperfect
multiset comments
closer to Hamiltonian path multipath partition