Beware the Gap between Planning and Execution | Alloy