Propagate deductions on deletes