the smartest guy you know...

...goes to work at his typical going-to-work time (midnight), spends almost an entire workshift doing typical workshift things, realizes with about an hour and a half left in his shift that it's a national holiday that he has completely forgotten about and everyone else he knows has failed to mention, and drives home laughing at his own stupidity for working a PAID DAY OFF.