Refined with list deletions.