It is not the case that Schaffner's corrected reduction model requires that the reducing theory explain why the reduced theory worked approximately, which is a genuine necessary condition.
?Set your confidence on the premises below to see your aggregate.