Pošalji tekstualnu poruku: The definability of Mary's assumption