For EU, Johnson exit won’t change much; damage already done