Zaslat SMS: An Introductory Logic.