( Det var , som bekant , samma alternativ,