Mouse prostates expressing this stabilized form of β-Catenin in combination with either the SV40 large T-antigen (LPB-Tag), which inactivates p53 and Rb, or with a mutated K-ras form invasive carcinoma [28], [29]. This evidence concerns the gene KRAS and invasive carcinoma.