visade det sig att man hade att välja mellan två alternativ: