Including relational properties in B-base trivializes the claim—A-properties just become defined via...
This proposition has not been edited since the history system was added.