add a section about pointer validity