Anything you say before the word “but” does not count.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

Take long walks in stormy weather or through deep snows in the fields and woods, if you would keep your spirits up. Deal with brute nature. Be cold and hungry and weary.

最伟大的旅程是那些改变我们的旅程。

你所需的一切都已经在你内心。