I see that a moderator rewrote my "cut" of the original title: thank you. I try to be conservative when I have to edit the titles (to avoid tampering as much as possible), so there will easily be better versions.