Invia SMS: Formal logic: