 An alternative set of semantic and syntactic conditions of reduction bears counterfactual interpretations. For instance, syntactic conditions in the form of limit relations and ceteris paribus assumptions help explain why the reduced theory works where it does and fails where it does not (Glymour 1969).