Meaningfully distinguishing between explanation and justification is deemed essential in several branches of philosophy. Their differences have frequently been discussed in mathematics as well. But ...