. . "Because as soon as p is a valid pointer at the first statement, it can be assumed to be a valid pointer at the second statement." . .