One neutrino carries through the lepton number of the decaying heavy lepton, (a tauon in this example, whose faint residue is a tau neutrino) and an antineutrino that cancels the lepton number of the newly created, lighter lepton that replaced the original. (In this example, a muon antineutrino with L μ μ = − − 1 that cancels the muon's L μ μ = + 1 .