Vi antaga , att det lyder så här: