Porphyry’s doctrine of redemption.