I think we cannot rely on this, and this case is so rare anyway that we should never worry about it.