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