Hopefully
Yet I bet you’d be really offended if it was 2024, Trump won the primary and DeSantis even mildly entertained the idea of running third party.