CronoDAS comments on The two meanings of mathematical terms