I missed it when I wrote my reply, concentrating on the immediate question (interesting psychological problem) - and then I could not edit it. It bothered me quite a bit but I did not want to write a third reply. Interesting to see how easy it is to get sidetracked on an irrelevant (albeit interesting) question, and how hard it is to get the discussion back on track.