About a week ago, Ted Cruz was mathematically eliminated from the Republican race, but it wasn’t until Donald Trump’s resounding victory on Tuesday in Indiana that Cruz threw in the towel.

And people were more than happy to celebrate his exit. Sure, there were some who lamented his move, mostly because they’re anti-Trump, but most people celebrated.