Αποστολή με SMS: Reasoning about change