«

»

Müllsammlung.

Hmmm; we can't postpone the dirty work any longer. In emergency situations, garbage collection is a necessity. And occasionally, as a ZDD base grows, garbage collection is a nicety, to keep our house in order.

Donald Knuth: bdd15.w