Anyone heard from Ted Cruz?