Zaslať SMS: Mathematical Logic