GPX1 and ileocolitis: The C57BL/6 (B6) GPx1/2 double-knockout (DKO) mice have mild ileocolitis, and 129S1/Sv (129) DKO mice have severe inflammation.