Wei Dai comments on Meanings of Mathematical Truths