How humor helps us think