Next, we examined whether β-catenin hyperactivity underlies PIN lesion formation in PtenS380D/D mice by breeding a Ctnnb1 knockout allele into the strain and quantitating PIN lesions at 6 months of age. The gene discussed is CTNNB1; the disease is prostate intraepithelial neoplasia.