SilasBarta comments on Meanings of Mathematical Truths