Diversification can reduce risk, but be careful not to over-diversify.
多元化投资可以降低风险，但也要注意不要过度分散。
我们的智慧来自于我们的经验，而我们的经验来自于我们的愚蠢。
Traveling is for me a source of rejuvenating vitality.
自信是关键，但你必须用实力来支撑它。
你可以锁上你的图书馆；但对我的思想自由，你无法设置任何门闩、锁或插销。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。