We’ve butted heads in the past over Cruz, but he was a good man and one of us. We will all miss him.
RIP