The goal is not just to design a market, but to design one that works well in practice.
Theorems are the permanent literature of mathematics.