VHL and Kidney Cyst: 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].