In article <87ekxhl2k4.fsf at plato.moon.paoloamoroso.it>, Paolo Amoroso <amoroso at mclink.it> wrote: [A theory of with-maintained-condition] > Erann: is my understanding correct? Yep. There are many plausible ways to implement with-maintained-condition, and that's one of them. E.