De skulle rätteligen haft denna lydelse: