Just as in a good novel， a good program must be full of interesting ideas， and very， very few words.

The development of formal systems has revolutionized our understanding of mathematics.

长期主义不是坚持重复一件正确的大事，而是坚持改进一件小事。