EPAS1 and polycythemia: These mice share polycythemia and biochemistry features of the syndrome, demonstrating gain-of-function mutations of EPAS1 in the ODD domain as the causative gene mutation of the syndrome development.