Ted Cruz is born