The idea of a refinement e-graph is to add a baked in a <= relation that is about as privileged as the e-graph’s native =