document the semantics of Ranged