Details should depend on abstractions.
詳細が抽象に依存すべきである。