Christian teaching about the Devil