“the fact that oo languages provide safe and convenient polymorphism means that any source code dependency, no matter where it is, can be inverted”