provision made executable