def show_antiderivative_considering_bounds(self):
    self.play(self.integral.set_fill, None, 0.5, self.deriv.set_fill, None, 1, self.rhs.set_fill, None, 1)
    for (label, line) in reversed(list(zip(self.bound_labels, self.v_lines))):
        new_line = line.copy().set_color(YELLOW)
        label.save_state()
        self.play(label.set_color, YELLOW)
        self.play(ShowCreation(new_line))
        self.play(ShowCreation(line))
        self.remove(new_line)
        self.play(label.restore)
    self.wait()
    self.play(self.integral.set_fill, None, 1)
    self.wait(3)
def show_antiderivative_considering_bounds(self):
    self.play(self.integral.set_fill, None, 0.5, self.deriv.set_fill, None, 1, self.rhs.set_fill, None, 1)
    for (label, line) in reversed(list(zip(self.bound_labels, self.v_lines))):
        new_line = line.copy().set_color(YELLOW)
        label.save_state()
        self.play(label.set_color, YELLOW)
        self.play(ShowCreation(new_line))
        self.play(ShowCreation(line))
        self.remove(new_line)
        self.play(label.restore)
    self.wait()
    self.play(self.integral.set_fill, None, 1)
    self.wait(3)