The inferentialist reversal of explanatory order sacrifices this formal rigor and compositionality w...