软件开发中最重要的一个方面是明确你要构建什么。
The most important single aspect of software development is to be clear about what you are trying to build.
The best mathematics is not just rigorous; it is also elegant.
The cloud stood humbly in a corner of the sky,The morning crowned it with splendour.
唯有通过形式，才能征服混沌。