Man antager att efter den »verkställda