No games have been played by Allen David Paul