This is really interesting, but does anyone think this is something that might generalize for ambiguous reasoning situations with more development? I am no expert, but sudoku and puzzles seem like very well-defined problem spaces.