Programming note: Florida primary open thread at 7:30 pm ET. Results at 8; winner at 8:01.