The paper deals with explanatory proofs in mathematics. The authors analyse Steiner’s explanatory proof theory as well as Resnick and Kushner and propose some corrections. Steiner’s theory is refined, and a criterion is developed to identify satisfactory answers to some questions. The paper is original and well written. It could be improved by adding abstract and clarifying some notations (PREM etc.)
Reviewer: Valentina Dagienë (Vilnius)