Was it Ted Cruz’s mistake or Donald Trump’s mistake?