discussing the definition of funny.
