LYZ and Splenomegaly: Tsc1fl/fl-Lyz cKO mice had normal body weight and femur/tibia lengths (Supplementary Fig. 3a, b), but also exhibited splenomegaly (Supplementary Fig. 3c, d) and mild defects in bone marrow cellularity (Supplementary Fig. 3e, Supplementary Table 4).