Enligt det ena alternativet,