Is there gmail search term that means "has a user-defined label, but any user-defined label"? Would be handy for hunting ham that's in:spam.