Zaslat SMS: Logic and reasoning in mathematics