If Trump is nominated, Republicans working to purge him and his manner from public life will reap the considerable satisfaction of preserving the identity of their 162-year-old party while working to see that they forgo only four years of the enjoyment of executive power.
