Kemeny and Oppenheim's purely syntactic model of reduction achieves explanatory absorption of one th...