Trump was still president, then there wouldn’t have been this kind of withdrawal.