Ah - sorry! I understood ProblemExplorer's linking to your post as a link to a subsequent post of theirs, which it clearly isn't now that I look again!

My post was a response to ProblemExplorer's language, not yours.