 Plantinga argued that counterfactual power over God’s past beliefs about human free choices is coherent and if it occurs, these beliefs are not accidentally necessary; they do not have the kind of necessity the past is alleged to have in premise (2) of the basic argument.