The inference is valid if 'actual world' is defined as the world-candidate containing all true conti...
This proposition has not been edited since the history system was added.