CTNNB1 and renal dysplasia: Mice with renal dysplasia were generated by crossing Rarb2Cre male mice (Cre expression limited to the metanephric mesenchyme) with female mice containing LoxP sites flanking exon 3 of the beta-catenin allele [14].