decided that diSimplex equality IS identity of diSimplexID