Tropical tightness

Tropical tightness

664