(Laughter) Just as you cannot have a mathematical proof that isn't built from pure mathematics, you cannot have a theory of laughter that isn't funny.
(Risos) Assim como não existe uma prova matemática que não seja puramente matemática, não existe uma teoria do riso que não seja engraçada.