Search: Merge, Theory, Tech report/unpubl, 10 - 49