> Wasn't this what the elephant was for? And whatever happened to the elephant?
I never got around to finishing it. One of my bad habits -- it's a
miracle I ever finished the Red Book, and there were any number of
times when it nearly didn't happen.