TSC1 and bacterial infectious disease: To compare resistance to bacterial infection in WT and TSC1 KO mice, we infected WT and TSC1 KO mice with E. coli (5∗105 cells/mouse).