About 0.08 uses per million words.
simulatability cosimulation simulism match bisimilarity equivalence isomorphism simulative similarness confluence
equivalence is relation and between for equivalent semantics on