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