Before revision: Thus, equivalences like the following have been proposed: True propositions are those that are true in the actual world (for example: " Richard Nixon became president in 1969 ").
After revision: Thus, equivalences like the following have been proposed: True propositions are those that are true in the actual world (for example: " Archduke Franz Ferdinand was assassinated in 1914 ").