more work on merging first order factors