PTEN and neoplasm: To further validate the [Pten, p53]thyr−/− strain as a model of human ATC, we performed immunohistochemistry on paraffin sections from 9-10 month old mice displaying both well-differentiated and undifferentiated tumor areas in order to determine whether these tumors display epithelial-to-mesenchymal transition (EMT).