BMAL1 and Infertility: Since systemic Bmal1 knockout (KO) mice have infertility accompanied by decreased progesterone (P4) levels due to decreased ovarian function, serum P4 levels in cKO mice were measured.