Just to be clear: this clause defers the removal (as long as the context is not an ancestor), but still prunes elements that are dominated by the removal clock?