Someone would have to decide that Trump is no longer president, and that would be an interesting development.