Christian and European witchcraft, demonology, persecution, trial theory, and the theological machinery of witch-hunting.