Redirecting to True quantified Boolean formula