Double-knockout mouse models for both VHL/HIF-1α and VHL/HIF-2α however do not develop kidney cysts, indicating the importance of both proteins for cyst formation [23]. This evidence concerns the gene VHL and Complex Cyst of Kidney.