Douglas_Knight comments on Question on math in “A Technical Explanation of Technical Explanation”