"and we are now joined by senator Ted Cruz Texas Republican and presidential candidate senator"