CronoDAS comments on [Math] Towards Proof Writing as a Skill In Itself