Tropical: review · Mike Lee