the combination's derived type with the derived types of the dummy's uses. This serves to propagate TRULY-THE through lets.