The first step in the art of cutting metals is to find a man who has the necessary skill and experience.

记忆是漂浮在时间海洋上的脆弱小船。

系统设计的未来在于将形式化方法与传统工程实践相结合。