More work in Range.v