Zaslat SMS: Mathematics and logic