Zaslat SMS: An Introduction to Logic/