is mentioned by

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

[l_ball]

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

Try larger context: Graphs