Αποστολή με SMS: Logic, induction and sets