No games have been played by Jan Petr