This simplifies model checking. Excel could implement a form of this, suggesting separating logic and data once a spreadsheet crosses a complexity threshold.