some presidents are more equal than others
Happy 272nd birthday George Washington!* U.S. Code and traditionalism aside, I'm happy to call it Presidents' Day if it makes it even a little harder for the people at the Legacy Project to get a national holiday for Ronald Reagan alone.
The thing about today being a national holiday is that it was kind of difficult to get into the monstrosity that is the Health Sciences Building for a 10 am meeting. But now the library is end of the world empty.
---
* According to the Office of Personnel Management: This holiday is designated as "Washington's Birthday" in section 6103(a) of title 5 of the United States Code, which is the law that specifies holidays for Federal employees. Though other institutions such as state and local governments and private businesses may use other names, it is our policy to always refer to holidays by the names designated in the law. [opm]
The thing about today being a national holiday is that it was kind of difficult to get into the monstrosity that is the Health Sciences Building for a 10 am meeting. But now the library is end of the world empty.
---
* According to the Office of Personnel Management: This holiday is designated as "Washington's Birthday" in section 6103(a) of title 5 of the United States Code, which is the law that specifies holidays for Federal employees. Though other institutions such as state and local governments and private businesses may use other names, it is our policy to always refer to holidays by the names designated in the law. [opm]