The abstractions plus the method names define the vocabulary .

抽象加上方法名定义了词汇表。

Both should depend on abstractions .

他们都应该依赖于抽象。

Abstractions should not depend on details .

抽象不应该依赖于细节。

Doing science is making these abstractions .

科学研究就是这样抽象化的工作。

Details should depend on abstractions .

细节应该依赖于抽象。