Interesting, today happens to be the feast day of St. Bernard, in both the current calendar and the traditional calendar.
;-) (not a coincidence)