Αποστολή με SMS: The definability of Mary's assumption