BBS4 and Bardet-Biedl syndrome: Due to these significant phenotypes, Bbs4−/− mice are commonly used as a BBS disease model.