Encoding omnipotence in world-types assumes the relevant notion of power is already settled—but (e)'...
This proposition has not been edited since the history system was added.