totalOrder

the type's reachable states form a chain, so the concurrency floor is unreachable rather than unmet. Waives that one floor and nothing else.