Tweaked spec to make game states less explicit