Logic in the Enchanted Kingdom