alvin plantinga, counterfactuals, free will defense, middle knowledge, molinism, personhood, possible worlds, soul, traducianism