finished all upto eval with bindings