bounds checks means we will never return nothing