Invia SMS: Symbolic logic