the “Feast of Saints Michael, Gabriel, and Raphael, Archangels” or, in the old calendar, the “Dedication of the Basilica of Saint Michael the Archangel”. Whatever you call i…