PTEN and prostate carcinoma: To model this hypothesis, we elected to use a GEM model with conditional loss of a single or both Pten alleles resulting in phenotypes that include low-high grade PIN and progression to invasive prostate cancer.