No games have been played by John Harvey