SMS versenden: Unificação assimétrica módulo operadores nilpotentes com homomorfismo