3 ms·NP! should be something like NP^NP, which is well known to be Σ^2_P. Slightly larger, but still inside PH.by emil-lp 3mo agoNP! should be something like NP^NP, which is well known to be Σ^2_P. Slightly larger, but still inside PH.