Vi antaga att det lyder så här: