  Nagel notes that “if the laws of the secondary science [the reduced theory] contain terms that do not occur in the theoretical assumptions of the primary discipline [the reducing theory] … , the logical derivation of the former from the latter is prima facie impossible.” (Nagel 1961, 352) As a consequence, Nagel introduces two “necessary formal conditions” required for the reduction to take place: