Tropical dimension mod

<