NR1D1 and colitis: However, these genes are redundant in terms of clock function, hence the colitis phenotypes of the mutants are most likely attributable to Nr1d1 and Rorα function rather than a result of circadian rhythm loss which persists in the mouse strains used in these studies.