An Unbiased View of Read til end
To assist with that he extends the definition to express that pointers are abilities that consists of the pointer and a variety [base, extent) that describes the defined memory that his pointer is permitted to dereference. He then goes into technicalites regarding how the pointer can be incremented as long as it details within its allowed variety a