docs: def move_red_right(self):
          """
          Shuffle red to the right of a tree.
          """
  
          self = self.flip()
          if self.left is not NULL and self.left.left.red:
              self = self.rotate_right().flip()
  
          return self