Being-on-David's-right is a complete relational property, not derived from or secondary to simpler p...
This proposition has not been edited since the history system was added.