Hvad beträffar det första af dessa alternativ,