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