Link to current text
NOT.7:3 - Forces
| Force | What must be reconciled |
|---|
| Ease of one operation and another | Making a dependency explicit can consume space; sharing a definition can add a lookup. |
| Familiarity and better construction | A new convention can reduce later work while imposing an initial learning cost. |
| Local repair and general reuse | One expression can be fixed cheaply; a rule used across many expressions needs broader comparison. |
| Simplification and preserved meaning | Removing detail helps only when the needed distinctions remain obtainable. |
| Observation and intervention | Assistance or practice can improve a trial independently of the changed notation. |