Execution-equation