More

    tropical updates