Избыточность псевдокода красно-черного дерева

Во введении к третьему изданию алгоритмов у них есть псевдокод реализация удаления красно-черного дерева. Вот он ...

RB-DELETE(T, z)
    y = z
    y-original-color = y.color
    if z.left == T.nil
        x = z.right
        RB-TRANSPLANT(T, z, z.right)
    elseif z.right == T.nil
        x = z.left
        RB-TRANSPLANT(T, z, z.left)
    else
        y = TREE-MINIMUM(z.right)
        y-original-color = y.color
        x = y.right
        if y.p == z
                x.p = y       // <--------- why????
        else
                RB-TRANSPLANT(T, y, y.right)
                y.right = z.right
                y.right.p = y
        RB-TRANSPLANT(T, z, y)
        y.left = z.left
        y.left.p = y
        y.color = z.color
    if y-original-color == BLACK
        RB-DELETE-FIXUP(T, x)

TREE-MINIMUM просто находит наименьшее значение в дереве, RB-TRANSPLANT берет родительский элемент второго параметра и указывает ему на третий параметр, а родительский элемент третьего параметра является вторым параметром. parent.

Согласно моему комментарию, они проверяют, равно ли yp z, и если да, то устанавливают xp равным y. Но x уже y.right, так что это все равно что сказать y.right.p = y, но y.right.p уже y! Почему они это делают?

Вот их объяснение ...

«Однако, когда исходным родителем y является z, мы не хотим, чтобы xp указывал на исходного родителя y, поскольку мы удаляем этот узел из дерева. . Поскольку узел y переместится вверх, чтобы занять позицию z в ​​дереве, установка xp на y в строке 13 заставляет xp указывать на исходную позицию родителя y, даже если x == T.nil ».

Поэтому они хотят оставьте родителем x значение y ... это уже y ...