NOT.4:8 - Common Anti-Patterns and How to Avoid Them

Failure	Repair
Choosing a fresh-looking spelling without checking its scope	Check the existing references. The u-to-v repair in :5.1 preserves the external input.
Sharing repeated signs that denote distinct actions	Retain the distinct executions or observations unless their consolidation preserves the needed behavior.
Keeping counts while changing order	Expand the sequence rule and inspect the ordered result; :5.2 separates these observations.
Promoting a branch-local equality to a global rule	Carry the assumption to each permitted use, as in guarded cancellation.
Treating one equality check as a rule for every context	Establish the context-sensitive argument, or keep the conclusion at the checked scope.
Applying transformations indefinitely because each is valid	Choose the needed form or use a bounded search with a stopping and selection rule.