A tombstone must be distinct from an empty element. In your example, you wouldn't stop at "d" because you haven't found an empty yet.