document version 4 range semantics