Under det sannolika antagandet,