Superseded Products and Migration Paths