Zaslat SMS: Logic for mathematicians