HVEM-deficient T cells (donors) or HVEM-/- hosts; also BTLA-/- mice in DSS colitis. Here, BTLA is linked to colitis.