This will fail to verify since the verification does not assume the withinBounds property, which is needed to prevent an out-of-bounds array index.