the statement that evala simulates the alist in lisp should be amended or clarified to indicate that later bindings take precedence over earlier(rater than other way around). i.e. evala(foo ((foo . a) (foo . b)) is B warren -------