skall sättas i verkställighet.