IL17A and colitis: In those studies, it was unclear whether the IRBP-TCR Tg mice were lymphopenic or whether they developed spontaneous colitis, but evidence of activated IL17-producing cells in the gut was reported.