9.5.5 Verkställighet