This might be hindsight bias, but I’m pretty sure that if I were approaching this problem from the outside, and the author said “by the way, don’t use the order in which it’s presented here”, this would immediately draw my attention to the general idea of ordering procedures.
You said that, but I don’t accept it. All that does is tell us not to use the SUPER-obvious Schelling point of ‘the first one’.
This might be hindsight bias, but I’m pretty sure that if I were approaching this problem from the outside, and the author said “by the way, don’t use the order in which it’s presented here”, this would immediately draw my attention to the general idea of ordering procedures.
The idea of finding an ordering procedure is also raised by saying that we’re seeking a Schelling point.