Återstår nu det andra antagandet: