Eval

undefined behavior

In John McCarthy paper, what is stated as undefined, is left as is, period.

(CAR NIL)
... the result is undefined ...

(COND (NIL NIL))
... may never decide what to answer ...

Cons()

...

Eval() v1

...

Bind()

...

Eval() v2

...