I didn’t know that. I admittedly haven’t listened to him much, but I’ve disagreed with many of his public comments in recent years