john-lawrence-aspden comments on Two types of mathematician