refinement: execute.