at best, hair splitting, but really a distinction without a difference.
Dr. Pipes is just kowtowing to the Establishment in piling on Trump.
