Heavy leptons from W decay