Did Cruz & Kasich leave? .