 He's been relatively muted. I think one of the really amazing moments and something which has been kind of overlooked, Joe Biden called up Donald Trump and they seem to have had a civil exchange. I think it was this very, very rare and brief moment of comity in this campaign, which is just suffused with negativity and hostility. And then Trump.