I agree that Cruz has a sense of humor....
I'm a big Cruz guy, but his comedy chops are a bit off. Trump could, and should, be a standup comedian by contrast.