  We obtain a criterion for when the specialization of the iterated Galois
group for a post-critically finite (PCF) rational map is as large as possible,
i.e., it equals the generic iterated Galois group for the given map.
