A sense of humor is part of the art of leadership$$$ of getting along with people$$$ of getting things done.