Det var det första af dessa alternativ,