finished successor set