[emil-lp]

NP! should be something like NP^NP, which is well known to be Σ^2_P. Slightly larger, but still inside PH.