Term rewriting systems on nestohedra provide insights into coherence theorems for various mathematical structures.
