I was actually there. Ted Cruz never used the name Trump. He got standing ovations. Donald Trump talked mostly about what he’s done in business until he began attacking Bush and Cruz. He was continually booed as he attacked Cruz. He got no standing ovations other than when he took the stage. Just the facts.