The analogy fails: 'x' is notational, but sentence variables express predicative function similar to...
This proposition has not been edited since the history system was added.