抽象是管理大型软件系统复杂性的关键。
Abstraction is the key to managing complexity in large software systems.
The function of freedom is to free someone else.
水产养殖不仅仅是一个行业；它是全球沿海社区的生命线。
The great philosophers are those who have made a difference in the way we think about the world and our place in it.
心理学必须摆脱一切形而上学的纠缠。