Text this: A STRUCTURAL THEOREM FOR LOCAL ALGORITHMS WITH APPLICATIONS TO CODING, TESTING, AND VERIFICATION.