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