Відправити по sms: The definability of Mary's assumption