"This fact is important. We derive strategies for X assuming that both players have memory of only a single previous move, and the above theorem shows that this

"This fact is important. We derive strategies for X assuming that both players have memory of only a single previous move, and the above theorem shows that this involves no loss of generality. Longer memory will not give Y any advantage." Makes me think of parsers and lookahead-tokens.