Tropical Facts