calef comments on Meanings of Mathematical Truths