Zeller's congruence, a well-known algorithm for finding the day of week for any date, explicitly defines January and February as the "13th" and "14th" months of the "previous" year in order to take advantage of this regularity, but the month-dependent calculation is still very complicated for mental arithmetic: