Abstraction is the key to managing complexity in software systems.
逻辑学的研究是对正确推理原则的研究。
A building should not shout; it should whisper to the people who use it.