Okra thickens gumbo in the same manner as a substantial addition of snot to the dish.