Range semantics and nits