added likely_eval todo