Title: Debugging by Thinking