BMAL1 and Infertility: Per1/2-dko mice are fertile and healthy, unlike another commonly used clock-disrupted mouse strain, the Bmal1-ko mouse, that suffers from a variety of health problems (short lifespan, arthropathy, infertility, etc. [23–26]), and has been used in some other microbiome studies [13].