Proposition 2 — an agent's situation only improves (corrected: clause (iii) of an improvement; no loop at a sink)

Initializing...

Proposition 2 — an agent's situation only improves (corrected: clause (iii) of an improvement; no loop at a sink) · Prove2Me