BACE1 and Alzheimer disease: As immunohistochemical validation of Bace1 KO was not feasible, we sorted OLs from Control;AD and OL-Bace1cKO;AD mice and showed abolishment of BACE1 in cKO tissue via immunoblotting by which BACE1 can be readily detected (Extended Data Fig. 5e).