charged lepton subgroup of lepton, 3 assertions