Sorry, this rose out of some confusion in my mind. I have removed it.