And whatever one thinks of his policies, it was a mind.