Αποστολή με SMS: Higher-Order Computability