Merge history and algebra appendix from Anders