def move_red_right(self):
self = self.flip()<EOL>if self.left is not NULL and self.left.left.red:<EOL><INDENT>self = self.rotate_right().flip()<EOL><DEDENT>return self<EOL>
Shuffle red to the right of a tree.