No games have been played by Michael Craig