HGFAC and Leukoencephalopathy: In contrast, Mcl-1-deleted mice with heterozygous co-deletion of Bax, with the genotype hGFAP-Cre/Mcl-1loxP/loxP/BaxloxP/+ (Mcl-1cKO/Baxfl/+), showed a progressive leukoencephalopathy phenotype similar Mcl-1cKO mice (Fig. 3B).