This could have used an earlier definition (as in IN THE ABSTRACT) of what the CHERI system hopes to accomplish. A dialect for memory safe pointer access and other architectural capabilities built into pointers