Could you add here, that the data is guaranteed to be valid because of the borrow checker. I will introduce the term in the borrow chapter.