AlphaOmega comments on Meanings of Mathematical Truths