. . "I would change the statement to be something other than 'S', say 'Q', as S is already used for 'successor'." . .