Small changes can have big effects when they help people break out of the poverty trap.
永远原谅你的敌人，没有什么比这更让他们恼火的了。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
We are all the heroes of our own stories.
The healthy social life is found when in the mirror of each human soul the whole community finds its reflection, and when in the community the virtue of each one is living.
Take away love and our earth is a tomb.