infinite games and yet no games