Den framställningen lyder så: