"Solid bases" for detecting incompatible base classes

Could a moderator close this thread in favor of PEP 800: Solid bases in the type system ?