PTCH1 and medulloblastoma: Therefore, mice with genetically engineered ptch1 haploinsufficiency are informative models in which to study Gorlin syndrome and medulloblastoma development.