NaiveTortoise comments on Two types of mathematician