De båda alternativen hade denna lydelse: