Lepton logic