A fundamental idea regarding twin-width is that upper bounds on twin-width
can be witnessed by orders on vertices which exclude grid-like structures in the adjacency matrix.
This idea appears in the founding works of Guillemot and Marx [1]} and Bonnet et al. [2]},
and the relation between twin-width and orders has been deeply explored in [3]}.
