Pedro Martínez: If it had NOT been the Crawford round, it would have been (theoretically) possible for me to double on any move, and we would have had to play out the moves, tediously, one by one, over perhaps 10 days. Get it?