Eliminate work Q, recurse directly.
Some support for exploring a solution space.