solution is evaluated by eval_in now