Invia SMS: Introduction to Logical Theory