Debugging by Thinking by