Step through contiguous memory

Relate `array[i]`, `*(array + i)`, and `p + i` to the same contiguous storage. Reason about how pointer arithmetic moves by elements, not raw byte counts in your source code.