Integer should be within `[]`