World-types encode intrinsic agent properties across all accessible histories, so omnipotence at W i...
This proposition has not been edited since the history system was added.