Fixed alternations that contain quantified brakets