Our focus here is on generating the derivation (line of reasoning) showing
how the evidence leads to the answer,
rather than the pragmatics of deciding which parts of that to then show
the user.
This allows us to separate two (typically confounded) explanation requirements,
namely correctness (of the derivation) from utility (of the pragmatics),
allowing us to evaluate derivations with a more objective measure (correctness).
Our derivations also set the stage for future research on the pragmatics of
what to show the user [1]}.
