Отправить по sms: Logic and reasoning in mathematics