finished preservation for erasure semantics