Denna lyder nemligen sålunda: