Denna eventualitet — nämligen: