eval_k and eval