质量是最好的商业计划。
Quality is the best business plan.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I'm not bossy. I'm the boss.
不要陷入片段问题,而应该时刻展望整个伟大的问题,即使这个视野还不够清晰。