程序最重要的属性是它是否实现了用户的意图。
Speech is a kind of action, and our words are the tools we use to perform it.
The P versus NP problem is one of the most important problems in computer science.
The study of L-functions is not just about proving theorems but about understanding patterns.