and if he loses in 2020 but refuses to leave..then what?