GPX1 and ileocolitis: In addition, GPx1/GPx2 double KO mice spontaneously developed an ileocolitis [30].