唯一无法得到帮助的人是那些责备他人的人。
The only person who cannot be helped is that person who blames others.
复杂容易，简单难。
The only thing that I can say is I try my best in every moment.
单靠技术无法解决饥饿问题，必须与公平获取和教育相结合。
In every character, there is a piece of me, and in me, there is a piece of every character I've played.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
To love truth for truth's sake is the principal part of human perfection in this world, and the seed-plot of all other virtues.