 a creature, I think, of the 1970s and the Arab oil embargo and the beginnings of the environmentalist movement. So, yes, in this case, too, Donald Trump is in the mainstream or rather in the tradition of conservatism in the Republican Party.