If you read the rest of the thread, you'll see that I (a) know that; (b) implemented that.

In this subthread, the discussion (started by another monk) centers around using a lazy sort/lazy lists in P6 to produce the subset--which I was countering.

But read the whole (sub)thread if your really interested.