Det är för denna senare eventualitet,