Every fish we farm is one less taken from the wild.
我们养殖的每一条鱼,都意味着少从野外捕捞一条。
"Language is the house of being. In its home man dwells."
孩子的精神比一般人认为的更为高尚。
The future of computing lies in the development of systems that can verify their own correctness.