Execute Implementation

Execute implementation.

Process

1. Inspect relevant code first.
2. Make the smallest correct change.
3. Preserve existing behavior outside the requested scope.
4. Run relevant verification when feasible.
5. Report changed files and verification results.