add solve and param-elim to the big pict