Ted’s name is spelled Cruz and that’s Mike Lee on the television. I know it’s late.
Yeah, it is...very very late. :-)