你必须愿意努力工作,并专注于你的目标。
你应该做一些你热爱并且认为非常重要的事情。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
Music has made me understand that dreams are worth persisting.
解释:发出的言辞美好,得到的回应就美好;发出的言辞丑恶,得到的回应就丑恶。