HK2 and Splenomegaly: FP3-Hk2−/− mice did not develop any indications of autoimmune disease as would be expected of mice with deficiencies in Treg function [37, 38], as determined by histology, serum ANA titers, weight, and presence of splenomegaly (Fig. 7b-e).