Tropical tightness

Tropical tightness

587