merging in prelude