Self-locating propositions (e.g., 'I am here now') reduce to indexical expressions that omniscience ...
This proposition has not been edited since the history system was added.