Yep...

Maybe Cruz can be the President of the new Independent Republic Of Texas instead.