MR1 and colitis: Additionally, in an oxazolone-induced mouse model of colitis, inhibiting MAIT cell activation through MR1 knockout or administration of the MR1 antagonist isobutyl 6-formylpterin has been shown to mitigate the severity of UC [55].