Searching protocol for "problem framing"
Visualize Law↔Term bindings and detect isolation.
Organize code, eliminate chaos, simplify refactoring.