EPAS1 and Complex Cyst of Kidney: 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].