Q: How many light bulbs does it take to change a light bulb? A: One, if it knows its own Goedel number.

— public joke corpus