StephenR comments on Astray with the Truth: Logic and Math

[StephenR]

I’ve added an addendum that I hope will make things clearer.