den formliga förpligtelsen för lagens genomförande.