successor-state