文之至者，通乎神明，穷乎天地，放乎四海，而准乎百世。
文章的最高境界，能够通达神明，穷尽天地之理，放之四海而皆准，流传百世而不衰。
The intelligence of that creature known as a crowd is the square root of the number of people in it.
We have more than enough wealth and power for those who can enjoy simple pleasures.
"I was unconditionally and irrevocably in love with him."
模型检查是验证有限状态并发系统正确性的强大技术。