"Considering the simple case of B substituting A, class A, in effect, disappears and only B remains (except that A is an ancestor of B)." . . . .