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

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.