Add part of solve and eval.