Zaslat SMS: Mathematical logic