Ctla4 was the most highly upregulated checkpoint gene in all the colitis models, with less pronounced changes in the expression of Pdcd1, Lag3, Vsir and Havcr2 (Fig. 4a). Here, HAVCR2 is linked to colitis.