β-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]. The gene discussed is KRAS; the disease is Familial prostate cancer.