quantified Boolean formula