Right, as I said, I think your suggestion is a fine one. I just wanted to point out the use case, since you said there wasn't one.