No games have been played by David Batchelor