merge

Cf. record merging