Maybe add a sentence here that clarifies that `Indexing` means the mere act of calculating such an pointer. People might think you're referring to dereferencing an out-of bounds pointer here if they don't read it carefully.

"Yes, the mere act of calculating such an offset pointer is undefined behavior, even if you never attempt to dereference it"