enhancing the circuits with an oracle q leads to a problem complete for ifp (q).
if l is any extension of fo with generalized quantifiers, one can always find a q such that ifp (q) is not contained in l (q).