PTEN and prostate carcinoma: β-catenin can produce highly invasive prostate cancer in several transgenic mouse models (e.g. with SV40 large T-antigen, loss of PTEN, mutated K-ras) [42].