Quantified Boolean formula