It's an "eval closure", not an "eval thunk." A thunk is a