MUC2 and irritable bowel syndrome: One of the widely used mouse models of IBD is Muc2 knockout mice that tend to develop spontaneous colitis followed by the formation of adenocarcinomas44,45,53.