Keyword: impossibility

Theorem Arrow's Impossibility Theorem staged

Theorem EF Impossibility — Two Agents, One Good staged

Theorem Gibbard–Satterthwaite Theorem staged

Theorem No Deterministic Constant Competitive Ratio proved