More cross-posting; sorry about that. I wasn't irritated with you, Bruce, though the sequence in which our posts appeared may give that impression. My message of 9.44, properly speaking, should be read before yours of 9.41; and mine of 10.19 before yours of 9.58; at any rate in order to make better sense as a sequence!