Zaslat SMS: Mathematical Logic