世界是理性的。
可持续发展不再是选择，而是生存的必需。
The more you experience, the more you learn.
A literatura é a voz dos que não têm voz.
We are all prisoners of our own minds.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。