This requirement is encoded in the absence of a rule with right-hand side (S, P ).
(S, P ) cannot be part of a successful derivation, unless the rule (S, S) → (S, P ) S is subsequently used, which then corresponds to giving a i a right child that has a k among its descendants.