Does the heavy charged lepton have its own neutrino? | Synapse