Återstår alltså blott det andra alternativet,