Proving relative lower bounds for incremental algorithms