Exactly, he’s become irrelevant just like:
Bush Christie Gilmore Graham Huckabee Jindal Kasich Pataki Perry Santorum Walker
Hmmmm...
So, for you, the only relevant ones are:
Trump Carson Rubio Cruz Fiorina