VHL and nonpapillary renal cell carcinoma: In our wish to model stem cell-derived human ccRCC, we have generated two types of genetic double kidney mutants in mice: Wnt-β-catenin-GOF together with Notch-GOF and Wnt-β-catenin-GOF together with a most common alteration in ccRCC, Vhl-LOF.