Invia SMS: Algebraic logic