Propagation of deletions