Definition:

execute