För öfrigt skall verket innehålla en helmängd