Many thanks! I have heard of that story/allegory/whatever, but it's been a very long time. Good point.