Although mice in which murine Vhl has been inactivated in the proximal tubule (PEPCK-Vhlh) do not develop ccRCC, possibly because multiple genetic events (in addition to the loss of VHL) are required for full ccRCC development, their renal tubule cells show increased proliferation measured by Ki-67. The gene discussed is VHL; the disease is nonpapillary renal cell carcinoma.