empty
merged succ