"[P]Tropical Hat |F"