Eval for Conjecture