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]