It doesn’t matter. None of the seven candidates in last night’s debate are going to be nominated for president on the Republican ticket.