Derest man valde det sistnämnda alternativet,