Återstår alltså endast det första alternativet: