How do you write insert(x) when there have been lazy deletions?