trying out the recursive search for soundness