cousin_it comments on Two types of mathematician