一本好书是一个永远不会让你失望的朋友。
The process of verification is as important as the process of creation in computer science.