Αποστολή με SMS: Advances in Natural Deduction