Edit for Execution and Assumptions