Add the beginnings of a recursive solver.