A non-omnipotent agent can bring about or actualize (e) by bringing it about that a snowflake falls when in fact no omnipotent agent ever exists. But, it is clear that an omnipotent agent cannot bring about or actualize (e). For although an omnipotent agent can bring it about that a snowflake falls, surely, an omnipotent agent cannot bring it about that no omnipotent ever exists, nor would this conjunct of (e) obtain if there were an omnipotent agent. Moreover, we may assume that there are possible worlds, \(W\) and \(W^*\), such that \(W\) and \(W^*\) share the same history up to a time \(t\)...