Happy Labor Day

To all of my US readers, Happy Labor Day.

To everyone - don't work too hard.
I'm not.