No games have been played by Richard Tripp