^ while Merlin is effectively an oracle with infinite compu…

^ while Merlin is effectively an oracle with infinite computational power (also known as a prover); but Merlin is not necessarily honest, so Arthur must analyze the information provided by Merlin in response to Arthur's queries & decide the problem itself.