On Mon, Jan 22, 2007 at 08:29:24AM +0900, Stefano Zacchiroli wrote:

> I also found the same example in the pickaxe book (in which sometime
> it's difficult to find what you were looking for from the index ...),
> and now I've a clearer understanding of its meaning.

Where is this discussed in pickaxe (which page number)?

I ran into basically the same issue a few weeks ago and came up with the
same solution.  I read the pickaxe cover to cover (a long time ago) and
I couldn't remember seeing that particular example.  On the other hand,
much of what I read I'm forgetting.