barrynolan,

Thanks. Now that I understand your reasoning, I have no problem with the title. FWIW, I wish I could delete my comment, but unfortunately that's no longer possible.