P
Initializing...
Claim 5.2, proof — the utility of an agent equals its bonus · Prove2Me