Redirecting to True quantified boolean formula