You still haven't defined what "heading in the direction of empty" means. Like I...

remram on Feb 19, 2023 | parent | context | favorite | on: Queues should be empty

You still haven't defined what "heading in the direction of empty" means. Like I said, your queue can't be decreasing in size over its history, and it cannot be decreasing in size most of the time either, if it started empty.