GPX1 and inflammatory bowel disease: We have generated a mouse IBD model by disruption of two genes encoding for two intracellular glutathione peroxidases, GPx1 and GPx2 [10, 11].