asr comments on Meanings of Mathematical Truths