doctrine of the devil