So how does one go about proving something like this? It's not like being a lawyer, where the goal is to persuade other people; nor is it like a scientist testing a theory. This is a unique art form within the world of rational science. We are trying to craft a "poem of reason" that explains fully and clearly and satisfies the pickiest demands of logic, while at the same time giving us goosebumps.

- Paul Lockhart