ATP8B1 and progressive familial intrahepatic cholestasis type 1: One of the mouse models we used is the Atp8b1 mutant mouse, the animal model for progressive familial intrahepatic cholestasis type 1.