"I am not a feminist, I am a humanist."
The greatest power is the ability to control your own emotions and desires.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The only reason people want to be masters of the future is to change the past.
最深刻的真理存在于矛盾之中。
最艰难的挑战往往带来最大的突破。
I'm just trying to find a way to be happy.
The best way to predict the future is to invent it.
教师不应该像往空容器里倒知识那样教学，而应该像点燃火焰那样教学。
"The best way to lead is by example."