rsaarelm comments on The sentence structure of mathematics