Αποστολή με SMS: A logical approach to discrete math /