Gpx1 KO mice are resistant to experimentally-induced inflammatory diseases [7], [8], whereas Gpx1×Gpx2 double KO mice develop spontaneous inflammatory diseases, such as colitis [53]. This evidence concerns the gene GPX1 and colitis.