数据库是企业中最重要的软件，而企业中最重要的软件是数据库。数据库是所有应用程序的基础。
The database is the most important piece of software in the enterprise, and the most important piece of software in the enterprise is the database. The database is the foundation of all applications.
判断两个λ表达式是否等价的问题是无法解决的。
预测未来的最好方法就是创造未来。