lugard

• a tropical dependency