[astrodust]

NP factorial sounds like NP-ultra-hard.

[emil-lp]

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