Currently, `lo < n` is fine, but `lo < n < hi` is not.
Currently,
lo < nis fine, butlo < n < hiis not.