What do we think would happen if, say, Trump refuses to leave office? Would it be several years before they reach the merits?