A Little Metatheory: Thought on What aTheory of Computational Humor Should Look Like