Notes on Evaluation Strategy

Points to make:

Evaluation is lazy

Evaluation is entire -- domain of predicate is entire universe

Inappropriate arguments are simply false

There is no such thing as a list. Iteration is a procedural concept which maps to either forall or exists