That is patently false.

So, uh... do you know of an implementation that has both those properties? I'd be quite interested in that.