"[P]Tropical Full Set |F"