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]. The gene discussed is EPAS1; the disease is cyst.