"is [1^..^1], [], double-exclusive range (x ^..^ x) where x is an int;" . . . .