λ演算是一种表示函数及其应用的形式体系。
Costco代表高性价比，Disney代表娱乐性。
现在的时间和过去的时间也许都存在于未来的时间，而未来的时间又包含于过去的时间中。
The future of energy is not either/or - it's about finding the right mix of all available solutions.
My fans are my biggest motivation.
你不能只是坐在那里等待别人给你那个黄金梦想。你必须走出去，自己去实现它。
天下英雄谁能匹敌？唯有曹操刘备。生儿子就应当像孙权那样。