A note on simplification orderings | lit.salon