VHL and nonpapillary renal cell carcinoma: They found that conditional inactivation of Vhl in these PEPCK-Cre mutants caused the development of both macroscopic and microscopic renal cysts, but not ccRCC.