zero_call comments on The role of mathematical truths