is mentioned by

Def (xL.P(x)) == reduce(x,b. P(x) b;false;L)

[l_bexists]

In prior sections: bool 1 sqequal 1 prog 1 mb basic list 1 union

Try larger context: Graphs