Footnote
a September 17 on the Julian calendar is equivalent to September 15 on the Gregorian calendar, the calendar widely used today.
a September 17 on the Julian calendar is equivalent to September 15 on the Gregorian calendar, the calendar widely used today.