“Rather than apply minutes of suspect reasoning, we can just ask the computer by making the change and running the tests.”