These GPx1/2-double knockout (DKO) mice (on a mixed C57BL/6 and 129S1/Sv genetic background) have microflora-dependent ileocolitis, since germ-free mice do not have inflammation [11]. This evidence concerns the gene GPX1 and ileocolitis.