☕️ Good Monday morning, and happy Presidents Day!

Fun fact ... On the official table of federal holidays, the Office of Personnel Management has this footnote about today: "This holiday is designated as 'Washington’s Birthday' in section 6103(a) of title 5 of the United States Code, which ... 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."

Thanks for reading on a holiday! Hardworking Axions will keep you updated all day on ...