The mathematician's mathematician.