Invia SMS: An Introductory Logic.