Thanks for sharing that. The approach that you listed is very different, and applicable at a different level, from what I have described. It’s a very abstract model: figure out what’s wrong, evaluate a bunch of different alternative solutions, and then choose one. That seems like a more of a general approach to decision making rather than a debugging methodology.