  In fact, Schaffner and others have developed sophisticated Nagelian type schemas for reduction that explicitly try to capture these features of actual theory change. The idea is explicitly to include in the model, the “corrected reduced theory” such as statistical thermodynamics. Thus, Schaffner (1976, 618) holds that \(T\) reduces \(T'\) if and only if there is a corrected version of \(T'\), call it \(T'^*\) such that