If confirmation is logical, it depends only on the syntactic and semantic structure of h and e.
This proposition has not been edited since the history system was added.