Redid the Abstract
Added example of temporal pointer safety
Added chat about bounds checking