Tropical tightness

Tropical tightness

669