In addition, GPx1/GPx2 double KO mice spontaneously developed an ileocolitis [30]. The gene discussed is GPX2; the disease is ileocolitis.