When they notify Joe Biden that he's still president