Text this: Galvin's "racing pawns" game and a well-ordering of trees /