Zaslat SMS: Classical mathematical logic