OCLN and colitis: By detecting the expression levels of tight junction proteins Occludin and ZO-1 mRNA in the colon, we can understand how heat-killed S. boulardii affects the regulation of tight junction proteins in colitis mice.