I need to re-read that one. It was a difficult go for me the first time (many years ago) and I don't remember too much of it. I think it's here somewhere though. What? A librarian who can't find his own books? Well, yes. More than half a century's accumulation by two people and we've never had quite enough shelf space to put them all into a logical order.