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

Dwight D. Eisenhower