Αποστολή με SMS: Restrictiveness in case theory