Invia SMS: Automated Reasoning