Invia SMS: Algebra and logic