The definability of Mary's assumption - Carol, Juniper B (The American Ecclesiastical Review, 98, 3, 1948)