I think our disagreement is this, then: my view is that (a) both kinds of explanations are appropriate for both kinds of terms, though one or the other explanation may be wanted in a particular context; and (b) in general, both kinds of explanations will be available, and the one will not render the other redundant.