Tagged as: tropical set-----