I den antydda reservationen heter det nemligen: