Ted Cruz is real