Visserligen torde detta senare alternativ,