I generally intentionally avoid running the program in my head because that requires too much context: I prefer to think about the change I want to make and the

I generally intentionally avoid running the program in my head because that requires too much context: I prefer to think about the change I want to make and the minimal set of preconditions that make the change valid.