The claim conflates syntactic expressibility in SO-exists with semantic equivalence to NP, but expre...