TFPI and polycythemia: To examine the role of TFPI in polycythemia development, we crossed Vav-iCre;Jak2V617F/+ mice with TFPIf/f mice and analyzed the resulting double mutant Jak2V617F;TFPIf/f;Vav mice.