VHL and polycythemia: So far, polycythemia has been recapitulated in transgenic mice with either VHL loss or EPAS1 gain-of-function mutation.