Cruz is coming up next.
Thanks for those pings. I suppose out of curiosity now I should listen to Trump also, so let us know when he’s up.