Pretty dumb move for such a smart guy. But we're all human...
And now fer sumthin' completely different... Today's the day we celebrate Veterans Day, as in a lot o' folks get the day off. That's if you work for the various shades o' gub'mint or a bank; nearly everyone else is back in the traces today. I found it strange that I got every Veterans Day off while I was in the Air Force... and technically not yet a veteran... but I WORKED every single Veterans Day after I retired from the AF.
I get the day off now, though.