Our transition system was primarily motivated by these theoretical considerations, and many other definitions are possible.
our decision that vertices can only be popped from the rightmost position in the cache simplifies our analysis.