Tropical Merge