See: Tropical system terms explained