The problem comes down to wanting the computer to ...

# minutest

[dmcg]

The problem comes down to wanting the computer to know which statements inside our context blocks should be lazy or not. We need eager for, for example, loops to define lots of tests, and lazy for things that should only happen when we actually execute.