more GameState specs