Gosh, I never thought I'd see this "in the wild"! I would have a hard time understanding why this finishes with the "updates" in the order expected instead of

Gosh, I never thought I'd see this "in the wild"! I would have a hard time understanding why this finishes with the "updates" in the order expected instead of the opposite order, and I'm intrigued. In the paper it just seems to counter-intuitive to me that if the comparison is that way round then the items get swapped ... if I found this in code I was auditing then I'd spent a long time trying to work out what was going on. Thank you.