Conditional thyroid-specific knock-in of BrafV600E and loss of Pten. Mice develop PTCs that progress to ATCs. The gene discussed is PTEN; the disease is Ehlers-Danlos syndrome, musculocontractural type.