GPX1 and ileocolitis: Previous analyses have shown that a double knockout of GPx1 and GPx2 results in spontaneous ileocolitis [11].