MathMart comments on A Philosophical Tautology