The execution protocol