On Wednesday, 19 June 2025, I hit the ‘send’ button on a post that bore the wrong title. Worse, while the correct title of the decision-game in question provided an accurate sense of the problem it posed, my mistake created a misleading impression about the focus of the exercise.
For the corrected (and thus, correct) version of the post, please see …
