doctrine of devils