Title: Tropical trees,