Jokes: Philosophical Thoughts on Joking Matters