Verification of merging s+a+d