The magic of logic. The logic of magic.