(This is similar to the verifier-based definition of NP, th…

(This is similar to the verifier-based definition of NP, the only difference being that Arthur is allowed to use randomness here.)