Before revision: It defines possible worlds as "ways things could have been" and relies for its premises and inferences on assumptions from natural language, for example: Hillary Clinton could have won the 2016 American presidential election.
After revision: It defines possible worlds as "ways things could have been" and relies for its premises and inferences on assumptions from natural language, for example: