A horse walks into a bar. Bartender says to the horse "What are you doing here?" The horse says "I don't know" and suddenly disappears. The horse thus proved the famous theorem "I think therefore I am." I'd have mentioned that up front, but that'd be putting Descartes before the horse.