证明是一种用于使他人相信数学陈述为真的工具。
A proof is a device for convincing someone else that a mathematical statement is true.
Sustainability isn't a department in our company; it's woven into every decision we make.
建筑不应该大喊大叫，而应该轻声细语。
The true paradises are the paradises that we have lost.
解释：拿着棋子主意不定，就不能战胜对方。
我预见一个时代，我们之于机器人将如同狗之于人类，而我支持机器。