derekz comments on The two meanings of mathematical terms