Mu_lepton loading ...