我相信音乐有治愈和团结人们的力量。
The less I know about other people's affairs, the happier I am.
形式系统的发展彻底改变了我们对数学的理解。
你的时间有限,不要浪费在过别人的生活上。
The best way to get a project done faster is to start sooner.