Hvad det senare alternativet beträffade,