如果你想取得真正的进步，就必须愿意挑战现状。
You have to be willing to challenge the status quo if you want to make real progress.
The economics of gender is not a niche subject; it is central to understanding modern economies.
盈利和环境保护可以而且必须齐头并进。
死亡终将是尽头，但生活充满了无限的可能。
We say of some things that they can't be forgiven, or that we will never forgive ourselves. But we do—we do it all the time.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.