Tag: hard to find tropicals