要知道产生药物的根源之处,只在西南方向是根本所在。
我不害怕风暴,因为我正在学习如何驾驶我的船。
That which does not kill us makes us stronger.
狗是人类的朋友,因为它看人不分贵贱。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。