The goal is not just to design a market, but to design one that works well in practice.

The energy transition is the biggest opportunity of our lifetime, and we must embrace it with both courage and pragmatism.

The dead are not dead to us until we have forgotten them.

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.