A Counterfactual Approach to Explanation in Mathematics. Issue 1 (2nd December 2019)