Added to the solver