SMS versenden: Univerzální algebra a teorie modelů