Seems like thinking should both expose solutions to head towards but also expose problems to flag/navigate around. It would be interesting get a measure of both. In my experience, preventing absolutely silly logic flaws, that even a child would avoid, seems to be the biggest benefit for enabling thinking. And, looking at the thinking output (for models that expose it), this seems to follow the output patterns of "but wait!" that fills the thinking output.