Văn bản này: The definability of Mary's assumption