PTEN and leiomyoma: In contrast, mice with the genotype Amhr2-Cre Pten(fl/fl) KrasG12V/+ (G12V mice) had normal follicle structures, and about 90% of them developed uterine tumors with diverse histological features resembling those of leiomyoma and leiomyosarcoma.