Tropical tightness

Tropical tightness

682