De befunno sig då införalternativet