Enchantment and Logic