¶20

For the purposes of this Article, the following are defined as House Officer holidays:

1. New Year's Day (January 1st)
2. Memorial Day (Last Monday in May)
3. Independence Day (July 4th)
4. Labor Day (First Monday in September)
5. Thanksgiving Day (Fourth Thursday in November)
6. Day after Thanksgiving (Fourth Friday in November)
7. Christmas Eve (December 24th)
8. Christmas Day (December 25th)
9. New Year's Eve (December 31st)
10. House Officer's Birthday