For a theory which has been well corroborated can only be superseded by one of a higher level of universality; that is, by a theory which is better testable and which, in addition, contains the old, well corroborated theory or at least a good approximation to it.