som komma att exequeras,