Happy Presidents’ Day! (a day late).